منابع مشابه
Elementary Equivalence of Profinite Groups
There are many examples of non-isomorphic pairs of finitely generated abstract groups that are elementarily equivalent. We show that the situation in the category of profinite groups is different: If two finitely generated profinite groups are elementarily equivalent (as abstract groups), then they are isomorphic. The proof applies a result of Nikolov and Segal which in turn relies on the class...
متن کاملELEMENTARY EQUIVALENCE OF PROFINITE GROUPS by
There are many examples of non-isomorphic pairs of finitely generated abstract groups that are elementarily equivalent. We show that the situation in the category of profinite groups is different: If two finitely generated profinite groups are elementarily equivalent (as abstract groups), then they are isomorphic. The proof applies a result of Nikolov and Segal which in turn relies on the class...
متن کاملElementary Equivalence and Profinite Completions: a Characterization of Finitely Generated Abelian-by-finite Groups
In this paper, we show that any finitely generated abelian-byfinite group is an elementary submodel of its profinite completion. It follows that two finitely generated abelian-by-finite groups are elementarily equivalent if and only if they have the same finite images. We give an example of two finitely generated abelian-by-finite groups G, H which satisfy these properties while G x Z and H x Z...
متن کاملProfinite Groups
γ = c0 + c1p+ c2p + · · · = (. . . c3c2c1c0)p, with ci ∈ Z, 0 ≤ ci ≤ p− 1, called the digits of γ. This ring has a topology given by a restriction of the product topology—we will see this below. The ring Zp can be viewed as Z/pZ for an ‘infinitely high’ power n. This is a useful idea, for example, in the study of Diophantine equations: if such an equation has a solution in the integers, then it...
متن کاملCohomology of Profinite Groups
A directed set I is a partially ordered set such that for all i, j ∈ I there exists a k ∈ I such that k ≥ i and k ≥ j. An inverse system of groups is a collection of groups {Gi} indexed by a directed set I together with group homomorphisms πij : Gi −→ Gj whenever i ≥ j such that πii = idGi and πjk ◦ πij = πik. Let H be a group. We call a family of homomorphisms {ψi : H −→ Gi : i ∈ I} compatible...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the London Mathematical Society
سال: 2008
ISSN: 0024-6093
DOI: 10.1112/blms/bdn069